Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
221	The complexity of positive first-order logic without equality FLORENT MADELAINE Clermont Universit, Universit d’Auvergne, LIMOS. CNRS, UMR 6158, LIMOS. and Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-01-14 21:47:14 Finite model theory FO IP Symbol Base Mathematics Creativity
222	Towards a Robust Top-Down Model for Valuation of Mining Assets Blanchet, J., Dolan, C., Iyengar, G., and Lall, U. Abstract Our goal is to create a simple, yet robust, statistical model which can be used to Add to Reading List Source URL: water.columbia.edu Language: English - Date: 2015-11-04 11:08:53 Statistics Estimation theory Operations research Applied mathematics Regression analysis Knowledge representation Mathematical model Linear regression Economic model Bayesian network Mathematical optimization Normal distribution
223	NRG with Bosons Kevin Ingersent (U. of Florida) Al-Hassanieh et al., PRLS. Tornow (unpub.) Add to Reading List Source URL: www.cond-mat.de Language: English - Date: 2015-09-25 11:17:08 Physics Condensed matter physics Quantum field theory Particle physics Kondo model Quantum magnetism Boson NRG Fermion
224	This template contains a style sheet followed by Cartography and Geographic Information Science (CaGIS) Add to Reading List Source URL: www.cartogis.org Language: English - Date: 2012-11-06 14:47:31 Complex systems theory Simulation Academia Economy Systems science Multi-agent systems Agent-based model Artificial life Land-use forecasting Complex adaptive system Conceptual model Scientific modelling
225	Algebraic models for rational equivariant stable homotopy theory (joint work with John Greenlees) Conjecture.(Greenlees) For any compact Lie group G there is an abelian category A(G) such that Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-06-25 16:26:28 Algebra Abstract algebra Mathematics Category theory Homological algebra Homotopy theory Algebraic topology Cohomology theories Pullback Adjoint functors Model category Equivalence of categories
226	Waiting is the hardest part: a model of uncertainty navigation in the context of health news Add to Reading List Source URL: www.katesweeny.com Language: English - Date: 2014-03-10 00:03:40 Life skills Behavior Academia Psychology Cognition Human behavior Communication theory Mindfulness Anxiety Risk Uncertainty Coping
227	2554 IEEE TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING, VOL. 21, NO. 12, DECEMBER 2013 A Bag of Systems Representation for Music Auto-Tagging Add to Reading List Source URL: eceweb.ucsd.edu Language: English - Date: 2015-07-31 19:00:26 Coding theory Artificial intelligence Statistics Code Encodings Signal processing Mixture model Bag-of-words model in computer vision
228	New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge Presentation (30-min.) Add to Reading List Source URL: ijcai-16.org Language: English - Date: 2016-07-22 16:57:54** Software engineering Logic Declarative programming Reasoning Programming paradigms Model theory Logical connectives Logic programming Prolog Datalog HiLog XSB
229	Variational Bayesian Learning of Cooperative Vector Quantizer Model - The Theory Add to Reading List Source URL: people.cs.pitt.edu Language: English - Date: 2003-05-06 15:46:12 Statistics Statistical models Bayesian network Latent variable Variational Bayesian methods Independent component analysis Expectationmaximization algorithm Generative model Principal component analysis Bayesian inference Normal distribution Mixture model
230	Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:43 Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator

UPDATE